Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
101	A LOGICAL CALCULUS OF MEANING AND SYNONYMY YIANNIS N. MOSCHOVAKIS In his development of formal semantics for natural language Montague [1970a]– Montague [1973],1 Richard Montague modeled the meaning (Frege’s sense) Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2004-12-13 19:38:56 Computability theory Functions and mappings Predicate logic Logical syntax Lambda calculus Function Interpretation Free variables and bound variables Variable Mathematics Logic Elementary mathematics
102	Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-12 07:48:30 Deduction Predicate logic Computability theory Lambda calculus Theoretical computer science Free variables and bound variables Entailment Unification Admissible rule Logic Mathematical logic Mathematics
103	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science
104	A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:14:14 Theoretical computer science Grammar Formal languages Logic programming Type theory Higher-order abstract syntax Free variables and bound variables Lambda calculus Syntax Mathematics Logic Software engineering
105	§1 DENOTATIONAL SEMANTICS 1 Add to Reading List Source URL: tex.loria.fr Language: English - Date: 2001-04-26 18:01:17 Mathematical logic Models of computation Spectral theory Symbol Combinatory logic Denotational semantics Free variables and bound variables Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Logic in computer science Mathematics
106	Formal Semantics, Lecture 2 B. Partee, MGU, February 22, 2005 p.1 Formal Semantics, Lecture 2 B. Partee, MGU, February 22, 2005 p.2 Add to Reading List Source URL: people.umass.edu Language: English - Date: 2005-02-20 17:15:54 Semantics Formal languages Predicate logic Quantification Lambda calculus Categorial grammar First-order logic Free variables and bound variables Interpretation Logic Mathematical logic Linguistics
107	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: schemers.org Language: English - Date: 1999-03-18 04:12:14 Functional languages Procedural programming languages Cross-platform software Lisp programming language Type theory Scheme Lisp Scope Free variables and bound variables Software engineering Computing Computer programming
108	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-31 11:45:06 Predicate logic Model theory Semantics Philosophical logic Second-order logic First-order logic Monad Structure Free variables and bound variables Logic Mathematics Mathematical logic
109	PDF Document Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-07-04 03:55:26 Metalogic Model theory FO Finite model theory Conjunctive query Free variables and bound variables Quantification First-order logic Constructible universe Logic Predicate logic Mathematical logic
110	Environment model Why does this code work? • Models of computation • Substitution model Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2007-04-05 22:20:30 Logic Mathematical notation Predicate logic Mathematics Computing Combinatory logic Lambda calculus Computer programming Free variables and bound variables